Online diagnosis of hard faults in microprocessors

Overcoming Hard-Faults in High-Performance Microprocessors

Overcoming Hard-Faults in High-Performance Microprocessors by Amin Ansari

Memory Faults in Asynchronous Microprocessors

The precise exception model [1] views an exception as Although a large number of asynchronous microprocessors have now been designed, relatively few have attempted to handle memory faults. Memory faults create problems for the design of any pipelined system which are exacerbated by the non-deterministic nature of an asyn-

Transient Faults Tolerance Mechanism for Microprocessors

On the Impact of Performance Faults in Modern Microprocessors

Modern microprocessors incorporate a variety of architectural features, such as branch prediction and speculative execution, which are not critical to the correctness of their operation yet are essential towards improving performance. Accordingly, while faults in the corresponding hardware may not necessarily affect functional correctness, they may, nevertheless, adversely impact performance. I...

Online Model-based Diagnosis for Multiple, Intermittent and Interaction Faults

This paper extends model-based diagnosis (MBD) (Reiter, 1987; de Kleer and Williams, 1987) to systems which convert, move and process materials or objects. Examples of such systems are printers, refineries, manufacturing lines and food processing plants. Such plants present two challenges to model-based diagnosis: (1) the plant may process with very high speed while handling multiple objects in...